Non-isomorphism invariant Borel quantifiers
نویسندگان
چکیده
منابع مشابه
Non-isomorphism Invariant Borel Quantifiers
Every isomorphism invariant Borel subset of the space of structures on the natural numbers in a countable relational language is definable in Lω1ω by a theorem of Lopez-Escobar. We derive variants of this result for stabilizer subgroups of the symmetric group Sym(N) for families of relations and non-isomorphism invariant generalized quantifiers on the natural numbers such as “for all even numbe...
متن کاملNon-permutation Invariant Borel Quantifiers
Every permutation invariant Borel subset of the space of countable structures is definable in Lω1ω by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation invariant quantifiers. Moreover we show that for every closed subgroup G of the symmetric group S∞, there is a closed binary quantifier Q such that the G-invariant subsets of the ...
متن کاملIsomorphism of Borel Full Groups
Suppose that G and H are Polish groups which act in a Borel fashion on Polish spaces X and Y . Let EX G and E Y H denote the corresponding orbit equivalence relations, and [G] and [H] the corresponding Borel full groups. Modulo the obvious counterexamples, we show that [G] ∼= [H] ⇔ EX G ∼=B EY H .
متن کاملBorel Isomorphism of SPR Markov Shifts
We show that strongly positively recurrent Markov shifts (including shifts of finite type) are classified up to Borel conjugacy by their entropy, period and their numbers of periodic points.
متن کاملTesting Linear-Invariant Function Isomorphism
A function f : F2 → {−1, 1} is called linear-isomorphic to g if f = g ◦ A for some non-singular matrix A. In the g-isomorphism problem, we want a randomized algorithm that distinguishes whether an input function f is linear-isomorphic to g or far from being so. We show that the query complexity to test g-isomorphism is essentially determined by the spectral norm of g. That is, if g is close to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2011
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-2011-10849-9